Amalgamation functors and boundary properties in simple theories
نویسندگان
چکیده
منابع مشابه
Amalgamation Functors and Boundary Properties in Simple Theories
This paper continues the study of generalized amalgamation properties begun in [1], [2], [3], [5], and [6]. Part of the paper provides a finer analysis of the groupoids that arise from failure of 3-uniqueness in a stable theory. We show that such groupoids must be abelian and we link the binding group of the groupoids to a certain automorphism group of the monster model, showing that the group ...
متن کاملAmalgamation properties and interpolation theorems for equational theories
DEFINITION 0.1. Let Fx, F2, F be subsets of a boolean algebra B. Then the (F1, F2, F)-Separation Principle, written Sep(F~, F2, F) for short, is the following: whenever aEF1, bEF2 and a ^ b = O , there is c~F with a<.c and cAb=O. The (F1, F2, F)-Interpolation Principle, written Int(Ft , F2, F) for short, is the following: whenever a~F1, b~F2 and a<.b there is ceF such that a<~c<~b. Clearly Int ...
متن کاملGeneralized Amalgamation in Simple Theories and Characterization of Dependence in Non-elementary Classes
We examine the properties of dependence relations in certain non-elementary classes and first-order simple theories. There are two major parts. The goal of the first part is to identify the properties of dependence relations in certain non-elementary classes that, firstly, characterize the model-theoretic properties of those classes; and secondly, allow to uniquely describe an abstract dependen...
متن کاملDiscovering boundary algebra: A simple notation for Boolean algebra and the truth functors
Boundary algebra is a new and simple notation for the Boolean algebra 2 and the truth functors. The primary arithmetic [PA] is built up from the atoms, '()' and the blank page, by enclosure between '(' and ')', denoting the primitive notion of distinction, and concatenation. Inserting letters denoting the presence or absence of () into a PA formula yields boundary algebra [BA], a simpler notati...
متن کاملProperties of Set Functors
We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we characterize functors on set-theoretic categories which are identical on objects, and functors which are constant on objects.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Israel Journal of Mathematics
سال: 2012
ISSN: 0021-2172,1565-8511
DOI: 10.1007/s11856-012-0087-z